%0 Thesis
%4 sid.inpe.br/mtc-m21b/2016/05.13.15.51
%2 sid.inpe.br/mtc-m21b/2016/05.13.15.51.50
%T Proposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software embarcável
%J Proposal for verification process by testing based on comparison of the ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software.
%D 2016
%8 2016-05-17
%9 Dissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais)
%P 179
%A Graça, Danilo Gaspar,
%E Ambrosio, Ana Maria (presidente),
%E Souza, Marcelo Lopes de Oliveira e (orientador),
%E Trivelato, Gilberto da Cunha (orientador),
%E Rocha, Guilherme Conceição,
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%C São José dos Campos
%K testes de software, verificação, processos de desenvolvimento, desenvolvimento de software, sistemas aeroespaciais, software testing, verification, development process, software development, aerospace systems.
%X Este trabalho apresenta uma proposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software espacial embarcável. Isto inclui: a revisão bibliográfica sobre conceitos de Engenharia de Software e sobre as normas abordadas das indústrias espacial e aeronáutica; a comparação e análise da estrutura de processos das referidas normas para desenvolvimento de software; o estudo de ferramentas semiautomáticas de testes; a proposta de métodos e procedimentos básicos de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C com suas principais atividades para ser aplicado no desenvolvimento de softwares espaciais embarcados; e a validação do processo proposto através de sua aplicação a um estudo de caso. A aplicação do processo proposto mostrou que i) a inversão da sequência tradicional de testes apresenta significativos ganhos em termos de esforço; ii) ela só é possível com a utilização de uma ferramenta de testes que tem impacto direto no processo; iii) a maior contribuição da ferramenta é compartilhar os resultados da aplicação de testes em um nível com os demais níveis (HW/SW, SW/SW e baixo nível); iv) os métodos e procedimentos utilizados reduzem significativamente o esforço aplicado na realização das atividades de teste. ABSTRACT: This work presents a proposal for verification process by testing based on the comparison of ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software. This includes: a bibliographic review on software engineering concepts and the space and aeronautics industries standards used; a comparison and analysis of the structure of processes of the mentioned standards for software development; a study of semiautomatic tools for tests; a proposal of basic methods and procedures of a verification process by testing based on comparison of ECSS-E-ST-40C and RTCA-DO-178C standards with its main activities to be applied in the development of space embedded; the validation of the proposed process through its application to case study. The application of the proposed method showed i) reversing the traditional test sequence shows significant gains in terms of effort; ii) it is possible only with the use of a test tool has a direct impact on process; iii) the greatest tool contribution is to share the results of the application tests in one level with other levels (HW/SW, SW/SW and Low-Level); iv) the methods and procedures used significantly reduce the effort applied in carrying out the testing activities.
%@language pt
%3 publicacao.pdf